油料装备信息化的网络架构设想

网络化是实现油料装备信息化的关键。在分析后勤信息网络现有问题的基础上,提出为了充分利用现有的资源和技术,实现与现有网络的无缝融合,油料装备信息化应当基于分布式开放网络的架构,由TCP／IP以及HTTP提供基本的网络连接条件和所需地址。为满足油料装备信息处理的特殊要求,应在标准Internet协议基础上定义油料装备通信协议以处理相关信息的发现、描述、传输和控制需求。     

新型防火板材包覆保护钢结构方法探讨

新型防火板材是钢结构防火技术新的发展方向，结合钢结构防火保护技术的发展与现状，对GF防火板（1100℃级轻质无石棉硅酸钙防火板）、高温耐火胶粘剂以及用GF防火板保护钢结构的方法进行了深入的研究，并与目前大量使用的钢结构防火涂料作对比，探讨了新型防火板材在技术性能和工程施工方面的优势。     

混合模糊测试中混合符号执行优化策略评估与分析

针对传统混合模糊测试提升技术多聚焦于利用多种动静态分析手段辅助而忽略了混合符号执行自身性能的问题,提出一种混合模糊测试平衡点模型,并基于该模型对主流混合符号执行方案进行剖析,包括污点分析辅助模糊测试、混合模糊测试以及混合符号执行,归纳了6种符号执行方案,基于混合符号执行引擎Triton复现了6种符号执行方案,并通过10个典型真实程序进行了测试评估。从效率、内存、覆盖率三个维度对各个方案进行性能对比与影响因素分析。实验证明,优化方案都可以消除不必要的约束并减少时间和空间开销,但约束缩减会造成信息丢失,造成覆盖率降低。基于实验数据分析,提出了一个优化方案的性能序列,并提出三种针对不同测试需求的优化方案。     

具有吞吐量和时延约束的软件无线电波形部署决策算法

针对当前具有吞吐量和时延约束的软件无线电波形部署决策算法在内存开销方面考虑的不足,提出一个更为通用的波形部署决策系统模型,将波形的处理开销、内存开销和通信带宽开销都纳入到波形部署决策过程中,并设计了一种基于动态规划的波形部署决策算法以最小化波形对平台各种计算资源的占用总和。仿真结果表明,内存对波形部署决策具有重要影响,与未考虑内存开销的解决方案相比,平台支持的平均最大波形数目和平均处理资源利用率均下降40%左右。     

基于度量元的静态软件缺陷预测技术

软件缺陷预测技术是当前软件工程领域的一个热点研究问题。回顾和综述了基于度量元的静态软件缺陷预测技术研究的起源与国内外最新进展动态,并对常用缺陷预测技术的评价指标进行对比和分析,指出其优缺点和适用范围。最后对静态软件缺陷预测技术的可能发展方向进行预测。     

基于发布订阅机制的态势信息实时分发框架

针对战场态势分发信息量大、实时性要求高、不同用户需求差异大的特点,提出了一种基于发布订阅机制的态势信息实时分发框架。构建态势元数据模型,能够描述战场态势信息和需求方的偏好,将态势更新看成发布事件,需求方看成订阅者,设计基于态势数据元模型设计合适的匹配算法。在此基础上给出了态势信息实时分发框架,能够指导构建面向服务架构的新型战场态势信息分发系统。     

反潜火控软件复用及构件化开发

随着反潜火控设备的快速发展,火控软件中成熟的解算技术需要有效继承,同时需要开发适合新型武器的操控及解算技术,为后续其它型号软件提供高效的功能继承。因此开展软件复用及构件化开发研究在反潜火控软件研制过程中具有重要意义。本文研究了在反潜火控软件开发过程中进行软件复用及构件化开发的技术,并详细介绍了适合反潜火控软件开发的方法和过程。该项技术的使用有效提高了反潜火控软件的可靠性和开发效率,目前已被成功应用在反潜火控软件中。     

Elements of ‘armed non-state actors’ power: The case of al-Qaeda in Yemen

Over the past few years there is an apparent re-regionalization of al-Qaeda activity, intensified by the ongoing Middle East turmoil. Its main characteristic is a trend towards the abandonment of focoist strategies and their replacement by more popular-based ones. This article aims at evaluating their capacity to implement such a strategy shift and sustain the required level of violence. As a means of evaluating this capacity, this article proposes the use of a DIME (diplomatic, informational, military, and economic) framework, which will hopefully provide an alternative angle of theorizing and understanding ‘armed non-state actors’ (ANSAs). The model is applied in the case of al-Qaeda in the Arabian Peninsula (AQAP), which appears to have effectively developed the military and informational dimensions, due partly to its own prowess and partly to the Yemeni state's weaknesses and the shortcomings of counterinsurgency. In contrast, the economic and diplomatic dimensions suffer from the lack of resources and the anti-systemic nature of AQAP.     

ANALYSING QUITS AND SEPARATIONS FROM THE ROYAL NAVY

Manning difficulties and retention of skilled personnel is a timely issue in the British armed forces, and especially in the all‐volunteer Royal Navy. Allied with difficulties of matching personnel numbers and posts, significant skill mismatches can take a long time to eradicate, with obvious financial and operational penalties. In the light of these factors, a holistic understanding of the exit behaviour of naval personnel is vital for naval manpower planners. This paper analyses ratings’ voluntary (quits) and involuntary (separation) exit patterns from the Royal Navy using an independent competing risks hazard regression analysis framework. The results show that both voluntary and involuntary exits are pro cyclical with respect to macroeconomic and labour market conditions for both male and female ratings. Male ratings are more likely to quit or separate due to a lack of promotion to higher ranks as compared with females. Male ratings are also more likely to quit as a result of a hectic operational tempo when compared with their female counterparts. Frequency of sea/shore deployments also seems to exert a significant effect with respect to quits and separation outcomes of both genders. In terms of marital status married males are less likely to quit compared with their unmarried male counterparts, whereas the opposite is the case for female ratings.     

可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。